Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller

Source URL: perso.ens-lyon.fr

• Computer arithmetic
• Arithmetic
• Mathematics
• Computer architecture
• Rounding
• IEEE 754
• Double-precision floating-point format
• Interval arithmetic
• Significant figures
• NaN
• Sine
• Signed zero

Note issued with Warrant for Letters Patent from Lord Lyon King of Arms in the application of GEORGE DAVID MENKING

Source URL: www.lyon-court.com

Program verification Data Structures in Abstract Interpretation Laure Gonnord and David Monniaux University of Lyon / LIP November 2016

Source URL: laure.gonnord.org

From Data Deluge to Data Curation Philip Lord, Alison Macdonald, Liz Lyon, David Giaretta The Digital Archiving Consultancy Limited and the Digital Curation Centre Abstract e-Science – or e-Research - enables new forms

Source URL: www.ukoln.ac.uk

The Intervalgram: An Audio Feature for Large-scale Melody Recognition Thomas C. Walters, David A. Ross, and Richard F. Lyon Google, 1600 Amphitheatre Parkway, Mountain View, CA, 94043, USA

Source URL: www.cs.toronto.edu

• Algebra
• Academia
• Information science
• Music information retrieval
• Timefrequency analysis
• Chroma feature
• Music technology
• Musicology
• Chroma
• Euclidean vector
• Vector
• Sound

LEMA: Towards a Language for Reliable Arithmetic Philippe Th´eveny. Joint work with Vincent Lef`evre, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol PLMMS 2010, 8

Source URL: perso.ens-lyon.fr

Microsoft Word - List of Abstracts

Source URL: www3.unine.ch

• Surveillance
• National security
• Crime prevention
• Mass surveillance
• Law enforcement
• Global surveillance
• David Lyon
• Closed-circuit television
• Countersurveillance
• National Security Agency
• Surveillance art

Reflections on X10 Towards Performance and Productivity at Scale David Grove IBM TJ Watson Research Center

Source URL: labexcompilation.ens-lyon.fr

Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org

Source URL: www.lix.polytechnique.fr

David Lyon BIOGRAPHY David Lyon is an experienced consultant with deep expertise across environmental and sustainability issues. He focuses on the strategic and commercial implications of issues such as water availabilit

Source URL: www.irbaris.com